tools-pygrub-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:01 +0000 (11:47 +0200)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Mon, 23 Jan 2017 16:23:57 +0000 (16:23 +0000)
commit72f92b5bd96f0bd5726deadaeff420361fb13a0b
treeff6243a6bb0f68799a97e89a7343ccb0181c8637
parentf63435d7a553a80a3490c5ef8999b5ac175bc5fe
tools-pygrub-prefix.diff

Patch-Name: tools-pygrub-prefix.diff

Gbp-Pq: Name tools-pygrub-prefix.diff
tools/pygrub/Makefile
tools/pygrub/setup.py
tools/pygrub/src/pygrub